6 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1189-1199
- Print publication:
- December 2006
-
- Article
- Export citation
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1209
- Print publication:
- December 2005
-
- Article
- Export citation
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 1 / March 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-496
- Print publication:
- March 2002
-
- Article
- Export citation
Self-verifying axiom systems, the incompleteness theorem and related reflection principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-596
- Print publication:
- June 2001
-
- Article
- Export citation
Looking Backward, Looking Forward: MLA Members Speak
-
- Journal:
- PMLA / Publications of the Modern Language Association of America / Volume 115 / Issue 7 / December 2000
- Published online by Cambridge University Press:
- 23 October 2020, pp. 1986-2078
- Print publication:
- December 2000
-
- Article
- Export citation